🔒 Linear Types - matmat · Scour

Why Rust is Revolutionizing Game Development: Memory Safety Meets High Performance

dev.to·1d·

Discuss: DEV

🦀Rust Borrowing

Streamlinear, a new MCP for Linear

blog.fsck.com·20h

📏Linear Logic

RAII Guards and Newtypes in Rust

benjamincongdon.me·3d·

Discuss: Hacker News

🦀Rust Borrowing

JavaScript vs Go: A Deep Dive into Syntax and Philosophy

dev.to·2h·

Discuss: DEV

🔗Concatenative Programming

genodians.org·1d

🦀Rust Macros

Horton persistence progress

terracrypt.net·8h

🦀Rust Macros

Introducing Pkl, a programming language for configuration

pkl-lang.org·1h

💧Liquid Types

Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo

ko-chan.github.io·4h·

Discuss: DEV

🔐Capability Systems

A Validated Semantics for LLVM IR

sf.snu.ac.kr·9h

✅Formal Methods

Linux Kernel Highlights For 2025: Schedulers, Rust & Torvalds' Commentary

phoronix.com·9h

🔩Systems Programming

GHC 9.12.3 is now available

haskell.org·20h

💧Liquidhaskell

jart/jtckdint: C23 Checked Arithmetic

github.com·1d

💧Liquid Types

learnix-os.com·1d·

Discuss: Hacker News

🦀Embedded Rust

The Complete Guide to Streaming LLM Responses in Web Applications: From SSE to Real-Time UI

dev.to·18h·

Discuss: DEV

🌊Streaming Systems

Network Programming

theworld.com·22h

📡Network Protocol Design

New PHP SAPI in Safe Rust

news.ycombinator.com·22h·

Discuss: Hacker News

🦀Rust Macros

The Compiler Is Your Best Friend, Stop Lying to It

blog.daniel-beskin.com·2d·

Discuss: Hacker News, r/programming

🦀Rust Borrowing

Rust the Process

amalbansode.com·2d·

Discuss: Hacker News

🦀Rust Macros

The 3 a.m. Call That Changed The Way I Design APIs

thenewstack.io·2h

👁️Observatory Systems

Memory Safety Philosophies: Rust vs C++

slicker.me·2d

🦀Rust Borrowing

Loading more...